Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems
نویسندگان
چکیده
In order to optimize programs of three dimensional t-model nonlinear algebraic Hybrid Systems and eliminate system states, approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems is proposed. Firstly, the three dimensional t-model nonlinear algebraic program is used to describe the system continuous transition behavior. Then, the approximate of three dimensional t-model nonlinear algebraic Hybrid System is established. Whether trace is approximate or not could be decided through three dimensional t-model nonlinear algebraic Hybrid System trace approximate algorithm. Next, it put forward the approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems. It can optimize three dimensional t-model nonlinear algebraic program as well as reduce the number of system states. The experiment result shows that this method is effective.
منابع مشابه
SOLVING NONLINEAR TWO-DIMENSIONAL VOLTERRA INTEGRAL EQUATIONS OF THE FIRST-KIND USING BIVARIATE SHIFTED LEGENDRE FUNCTIONS
In this paper, a method for finding an approximate solution of a class of two-dimensional nonlinear Volterra integral equations of the first-kind is proposed. This problem is transformedto a nonlinear two-dimensional Volterra integral equation of the second-kind. The properties ofthe bivariate shifted Legendre functions are presented. The operational matrices of integrationtogether with the produ...
متن کاملAlgebraic characterizations of trace and decorated trace equivalences over tree-like structures
Behavioural equivalences of labelled transition systems are characterized in terms of homomorphic transformations. This permits relying on algebraic techniques for proving systems properties and reduces equivalence checking of two systems to studying the relationships among the elements of their structures. Di6erent algebraic characterizations of bisimulation-based equivalences in terms of part...
متن کاملWhich Methodology is Better for Combining Linear and Nonlinear Models for Time Series Forecasting?
Both theoretical and empirical findings have suggested that combining different models can be an effective way to improve the predictive performance of each individual model. It is especially occurred when the models in the ensemble are quite different. Hybrid techniques that decompose a time series into its linear and nonlinear components are one of the most important kinds of the hybrid model...
متن کاملHybrid model predictive control of a nonlinear three-tank system based on the proposed compact form of piecewise affine model
In this paper, a predictive control based on the proposed hybrid model is designed to control the fluid height in a three-tank system with nonlinear dynamics whose operating mode depends on the instantaneous amount of system states. The use of nonlinear hybrid model in predictive control leads to a problem of mixed integer nonlinear programming (MINLP) which is very complex and time consuming t...
متن کاملSymbolic Model Checking for Rectangular Hybrid Systems
An important case of hybrid systems are the rectangular automata. First, rectangular dynamics can naturally and arbitrarily closely approximate more general, nonlinear dynamics. Second, rectangular automata are the most general type of hybrid systems for which model checking |in particular, Ltl model checking| is decidable. However, on one hand, the original proofs of decidability did not sugge...
متن کامل